//3rd party libraries interface

var WEB_SOCKET_SWF_LOCATION = {};

var jws = {
 jWebSocketJSONClient : function(){}
};

var jQuery = {
  parseJSON : function(json){}
};

var $ = {

};
